1. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : H.-J. Burckert
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
,
76
.
9
,.
A96B87
2. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : Burckert, Hans-Jurgen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
568
